Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
741	Computation-Trace Indistinguishability Obfuscation and its Applications Yu-Chi Chen∗ Sherman S. M. Chow† Wei-Kai Lin¶ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 11:40:02 Computing Computability theory Parallel Random Access Machine Formal methods Central processing unit Distributed computing NC Random access machine Actor model Theoretical computer science Applied mathematics Models of computation
742	Instructions • Enter your Registration Number here: CMI PG– or here: C– Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2014-09-01 03:15:02 Computability theory Theory of computation Mathematical optimization Algorithm Mathematical logic Halting problem PP Dynamic programming Berlekamp–Massey algorithm Theoretical computer science Applied mathematics Mathematics
743	A preliminary version of this paper appeared in Theory of Cryptography Conference, TCC ’05, Lecture Notes in Computer Science Vol. ???, Joe Kilian ed, Springer Verlag, 2005. This is the full version. Secure Computation Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2004-12-15 13:27:27 Computability theory Oracle machine
744	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
745	rKanren Guided Search in miniKanren Cameron Swords Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:14 Lambda calculus Theoretical computer science Weight Mathematics Applied mathematics Abstract algebra Models of computation Computability theory
746	Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science
747	Applications of Polynomial Properties to Verifiable Delegation of Computation and Electronic Voting Sandra Guasch Paz Morillo Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-30 09:35:02 Valuation Algebra Polynomial Mathematical analysis Operator theory Ordinary differential equations Spectral theory Pseudorandom generator theorem Abstract algebra Algebraic geometry Field theory
748	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
749	Speeding up the Bilinear Pairings Computation on Curves with Automorphisms.dvi Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2007-04-13 02:45:23 Analytic number theory Elliptic curve Group theory Frobenius endomorphism Pullback Spectral theory of ordinary differential equations Abstract algebra Algebra Mathematics
750	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering

UPDATE